A strongly coupled Λ-type micromechanical system

Local Field Correction Effect on Dicluster Stopping Power in a Strongly Coupled Two-Dimensional Electron Gas System

We calculate the stopping power for heavy-ion diclusters moving in a strongly coupled two-dimensional electron gas system by using the local field corrected dielectric function at finite temperature. We obtain a parameterized local field correction factor based on a relation between the thermal compressibility and exchange-correlation energy in two-dimension. The interpolated parameter is deriv...

State-dependent impedance of a strongly coupled oscillator-qubit system

Superharmonic resonances in a strongly coupled cavity-atom system

Eyal Buks,1 Chunqing Deng,2,3,4 Jean-Luc F. X. Orgazzi,2,4,5 Martin Otto,2,3,4 and Adrian Lupascu2,3,4 1Department of Electrical Engineering, Technion, Haifa 32000 Israel 2Institute for Quantum Computing, University of Waterloo, Waterloo, Ontario, Canada N2L 3G1 3Department of Physics and Astronomy, University of Waterloo, Waterloo, ON, Canada N2L 3G1 4Waterloo Institute for Nanotechnology, Uni...

Retroactive Quantum Jumps in a Strongly Coupled Atom-Field System

We investigate a novel type of conditional dynamic that occurs in the strongly driven JaynesCummings system with dissipation. Extending the work of Alsing and Carmichael [Quantum Opt. 3, 13 (1991)], we present a combined numerical and analytic study of the stochastic master equation that describes the system’s conditional evolution when the cavity output is continuously observed via homodyne de...

A Soft Type Assignment System for λ-Calculus

Soft Linear Logic (SLL) is a subsystem of second-order linear logic with restricted rules for exponentials, which is correct and complete for PTIME. We design a type assignment system for the λ-calculus (STA), which assigns to λ-terms as types (a proper subset of) SLL formulas, in such a way that typable terms inherit the good complexity properties of the logical system. Namely STA enjoys subje...